Homework 1 on Knowledge

发表于 |

陆钟万先生编写的《面向计算机科学的数理逻辑》是数理逻辑方面的经典教材。
本次作业，利用课本讲授的包含11条推演规则的命题逻辑系统，以形式推演的方式证明了课本中的

  • 定理2.6.4
  • 定理2.6.9

详细的证明请见 pdf.
(Thanks to Rongqing Wang.)

向陆钟万先生致敬！

0%